package restserviceparameterisunique;

import org.eclipse.viatra2.emf.incquery.runtime.api.IncQueryEngine;
import org.eclipse.viatra2.emf.incquery.runtime.api.impl.BaseGeneratedMatcherFactory;
import org.eclipse.viatra2.emf.incquery.runtime.exception.IncQueryRuntimeException;
import restserviceparameterisunique.RestServiceParameterIsUniqueMatch;
import restserviceparameterisunique.RestServiceParameterIsUniqueMatcher;

/**
 * A pattern-specific matcher factory that can instantiate RestServiceParameterIsUniqueMatcher in a type-safe way.
 * 
 * @see RestServiceParameterIsUniqueMatcher
 * @see RestServiceParameterIsUniqueMatch
 * 
 */
public class RestServiceParameterIsUniqueMatcherFactory extends BaseGeneratedMatcherFactory<RestServiceParameterIsUniqueMatch,RestServiceParameterIsUniqueMatcher> {
  @Override
  protected RestServiceParameterIsUniqueMatcher instantiate(final IncQueryEngine engine) throws IncQueryRuntimeException {
    return new RestServiceParameterIsUniqueMatcher(engine);
    
  }
  
  @Override
  protected String getBundleName() {
    return "hu.bme.mit.inf.omgi.queries";
    
  }
  
  @Override
  protected String patternName() {
    return "RestServiceParameterIsUnique";
    
  }
}
